/**
 * \file debug.h
 * \author Davide Gessa
 * \date 10-12-09
 */

#ifndef DEBUG_H
#define DEBUG_H

#include <types.h>
#include <config.h>

int dbg_vrbl;

#define BOCHS_IODEBUG_PORT	0x8A00
#ifdef DEBUG
	#define DEBUGP(x) 			debug_puts(x)
#else
	#define DEBUGP(x)			dbg_vrbl = 0;
#endif

void debug_putchar(char);
void debug_puts(char *);
void debug_init();
void debug_ist_trace(uint8_t);
void debug_reg_trace(uint8_t);

#endif
